Axiom A - PDFSEARCH.IO - Document Search Engine

Axiom A
Results: 172

#	Item
71	Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism a Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-16 13:22:33 Proof theory Logic in computer science Computability theory Effective descriptive set theory Peano axioms Logicism Second-order arithmetic Philosophy of mathematics Axiom Mathematics Mathematical logic Logic
72	ORDER AND ARITHMETIC OF CARDINALITIES PETE L. CLARK Here we pursue Cantor’s theory of cardinalities of inﬁnite sets a bit more deeply. We also begin to take a more sophisticated approach in that we identify which res Add to Reading List Source URL: math.uga.edu Language: English - Date: 2012-08-06 14:14:25 Cardinality Axiom of choice Cardinal number Countable set Bijection Equivalence relation Semiring Entailment Surjective function Mathematics Logic Functions and mappings
73	Artificial Intelligence[removed]389 Elsevier 323 A theory of abstraction Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:23:00 Logical syntax Abstraction Metalogic Thought Axiom Propositional calculus Entailment Function Deduction theorem Logic Mathematics Mathematical logic
74	A Knowledge-Rich Approach to Understanding Text about Aircraft Systems Peter Clark, Lisbeth Duncan, Heather Holmback, Tom Jenkins, John Thompson Boeing Engineering and Information Technology Boeing, Seattle, WA[removed]pet Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2002-04-22 19:07:35 Computational linguistics Knowledge representation Artificial intelligence Natural language processing Speech recognition Knowledge representation and reasoning Frame language Axiom KB Science Knowledge Knowledge engineering
75	INET published a paper, written by John Kay, that deals with the relationship between economics and the world we live in. The Map Is Not the Territory: An Essay on the State of Economics spells out methodological critiqu Add to Reading List Source URL: ineteconomics.org Language: English - Date: 2011-10-06 15:30:38 The General Theory of Employment Interest and Money Paul Davidson Mainstream economics John Maynard Keynes Economic model Axiom Financial crisis Ergodic theory Efficient-market hypothesis Economics Economic theories Keynesian economics
76	On the White Box Integration of Computer Algebra Algorithms into a Deduction System Diplomarbeit von Frank Theiß Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:23 Symbolic computation Mathematics Applied mathematics Algebra Algorithm Mathematical logic Axiom Mathematician Computer Software Computer algebra system Computer science
77	Questions Answered. In Theory. http://cstheory.stackexchange.com∗ Perhaps you’re a computer scientist wondering how much the Axiom of Choice matters to the theorems you study and prove[21]. Perhaps you’re a mathema Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2010-11-05 18:41:12 Complexity classes Community websites Mathematical optimization Conjectures P versus NP problem Structural complexity theory Stack Exchange Network NP-complete NP Theoretical computer science Computational complexity theory Applied mathematics
78	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 9 Discrete Mathematics (AMP) (a) The subset S of N = {0, 1, 2, . . .} is inductively defined by the following axiom and rules, where n ranges over N: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Mathematical proofs Inductive reasoning Mathematical induction Proof theory Constructible universe Universal quantification String Surreal number Peano axioms Mathematics Mathematical logic Logic
79	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 8 Discrete Mathematics (MPF) (a) Let #X denote the cardinality of a set X. Define a unary predicate P for which the statement Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Mathematical analysis Bijection injection and surjection Equivalence relation Function Bijection Power set Injective function Filter Axiom schema of replacement Mathematics Functions and mappings Mathematical logic
80	The Online Library of Liberty A Project Of Liberty Fund, Inc. Sir Francis Bacon, Novum Organum[removed]The Online Library Of Liberty Add to Reading List Source URL: lf-oll.s3.amazonaws.com Language: English - Date: 2014-02-21 12:35:49 Novum Organum Francis Bacon Philosophers of science Empiricists Logical fallacies Prejudices Axiom Nous Nature Science Philosophy Knowledge

UPDATE